Claire Blanche-Benveniste (1935-2010)

Claire Walczak

favourite plants. Linnaeus’s affection for it has been well documented: he used it as a mattress and cover when he slept in woods during his journeys across Sweden. This month also sees the opening of a new exhibition to celebrate Linnaeus at the Natural History Museum, Systema Metropolis, exploring the unseen wildlife in London from a number of sites. Created by the US artist, Mark Dion, it re...

Albert Benveniste , Paul Caspi , Paul

In this paper, we present a theory of synchronous data-ow languages. Our theory is supported by both some heuristic analysis of applications and some theoretical investigation of the data-ow paradigm. Our model covers both behavioural and operational aspects, and allows both synchronous and asynchronous styles of implementation for synchronous programs. This model served as a basis to establish...

To Claire v

Claire Hutton 699 Final.PDF

............................................................................................................................. iii Acknowledgements............................................................................................................ iv Table Of

CLAIRE: a brief overview

For the last 10 years, we have been experimenting with the use of a hybrid objectoriented language, LAURETM1, to solve “advanced” industrial problems (that require some form of reasoning or constraint solving) [Ca91]. This approach was successful in the sense that we were able to solve complex problems in a better way than previous approaches [Ca94]. However, we failed short of our initial goal...